The flowchart of our modeling procedure using MAINMAST. First, points with a high local density are identified in the query EM map using the mean shift algorithm. Identified local dense points are connected by minimum spanning tree (MST). Using tabu search, the initial MST is refined. Next, the amino acid sequence of the protein is mapped on the longest path in the tree by matching the volume of amino acids to the density of the local dense points (threading). Trees were generated with different combinations of parameters that control the local dense point identification step, the tree refinement step, and the sequence mapping result, which results in over a few thousand Cα models. The Cα models are then ranked with the density-volume matching (threading) score. The 500 top-scoring Cα models are selected, which are subject to full-atomic structure building with PULCHRA and structure refinement with Rosetta, MDFF, or xMDFF. Finally, the 500 full-atom models are ranked by the scoring function of the refinement method used and the top 10 scoring models were submitted to the Model Challenge.